Object-oriented safety monitor synthesisGORSKI, J; NOWICKI, B.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 121-133, isbn 0-412-80280-5Conference Paper

Testing based on users' quality needsVAN VEENENDAAL, E. P. W. M; TRIENEKENS, J. J. M.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 242-255, isbn 0-412-80280-5Conference Paper

Motivated humans for reliable software productsFRANGOS, S. A.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 83-91, isbn 0-412-80280-5Conference Paper

User-perceptions of embedded software reliabilityKUSTERS, R. J; VAN SOLINGEN, R; TRIENEKENS, J. J. M et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 67-82, isbn 0-412-80280-5Conference Paper

Reliability, quality, and safety of software-intensive systems (Athens, 29-30 May 1997)Gritzalis, Dimitris.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, isbn 0-412-80280-5, X, 276 p, isbn 0-412-80280-5Conference Proceedings

Improving the quality of secure distributed systemsZORKADIS, V.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 186-197, isbn 0-412-80280-5Conference Paper

Selected legal issues related to Internet useQUIRCHMAYR, G.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 151-160, isbn 0-412-80280-5Conference Paper

An evaluation scheme of software testing techniquesCHU, H. D.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 259-262, isbn 0-412-80280-5Conference Paper

An assessment of the number of paths needed for control flow testingMALEVRIS, N.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 32-39, isbn 0-412-80280-5Conference Paper

Security of World Wide Web search enginesMARCHIORI, M.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 161-174, isbn 0-412-80280-5Conference Paper

A quality-intensive approach to software developmentTERVONEN, I; KOKKONIEMI, J; SMITH, G et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 54-64, isbn 0-412-80280-5Conference Paper

An approach to improve software quality in length measurement calibrationGREIF, N; SCHREPF, H; RICHTER, D et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 273-276, isbn 0-412-80280-5Conference Paper

Provelt : a C program correctness proverMAURER, W. D.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 22-31, isbn 0-412-80280-5Conference Paper

Automating software quality modelling, measurement and assessmentKITCHENHAM, B; PASQUINI, A; ANDERS, U et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 43-53, isbn 0-412-80280-5Conference Paper

Modification of safety critical systems : An assessment of three approachesSTALHANE, T; WEDDE, K. J.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 134-147, isbn 0-412-80280-5Conference Paper

Software Development and Testing for shipyard robotic weldingANTONIOU, E; NIKITAKOS, N.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 231-241, isbn 0-412-80280-5Conference Paper

Specification composition for the verification of message passing program compositionCOTRONIS, J. Y; TSIATSOULIS, Z.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 95-106, isbn 0-412-80280-5Conference Paper

The Cascade Vulnerability Problem for open distributed systems : A reviewGRITZALIS, S; KATSIKAS, S. K; SPINELLIS, D et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 175-185, isbn 0-412-80280-5Conference Paper

Partnership with customers in product improvement : Testing embedded software products in the fieldVAN SOLINGEN, R; VAN UIJTREGT, S.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 201-214, isbn 0-412-80280-5Conference Paper

Pythia : A regression test selection tool based on textual differencingVOKOLOS, F. I; FRANKL, P. G.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 3-21, isbn 0-412-80280-5Conference Paper

Introducing the Goal-Question-Metric approach to telecommunications software development : the PITA experimentSYLAIDIS, V; NANAKIS, I; KOPANAS, V et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 215-230, isbn 0-412-80280-5Conference Paper

Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systemsYIH, S; TIAN, J.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 109-120, isbn 0-412-80280-5Conference Paper

Real-MFG : A Petri Net based model focusing on the integration of schedulability and fault toleranceGEROGIANNIS, V. C; KAMEAS, A. D; PINTELAS, P. E et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 263-268, isbn 0-412-80280-5Conference Paper

Design of an integrated Educational Software Development Environment oriented in Reuse and quality assurance of Products and processesHALARIS, I; PETROPOULOS, P; GEROPOULOS, S.-T et al.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 269-272, isbn 0-412-80280-5Conference Paper